| 翻訳と辞書 |
AD+
In set theory, AD+ is an extension, proposed by W. Hugh Woodin, to the axiom of determinacy. The axiom, which is to be understood in the context of ZF plus DCR (the axiom of dependent choice for real numbers), states two things:
# Every set of reals is ∞-Borel.
# For any ordinal λ less than Θ, any subset ''A'' of ωω, and any continuous function π:λω→ωω, the preimage π−1() is determined. (Here λω is to be given the product topology, starting with the discrete topology on λ.)
The second clause by itself is referred to as ''ordinal determinacy''.
==See also==
*Suslin's problem
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「AD+」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|